Testing Polymorphic Behavior.
نویسندگان
چکیده
منابع مشابه
Testing Polymorphic Behavior
Our goal is to investigate specification-based approaches to testing OO components. That is, given a class C and its specification, how do we test C to see if it meets its specification? Two important requirements that we impose on the testing approach are that it must not require access to the source code of the class under test; and that it should enable us to deal with the polymorphic behavi...
متن کاملTesting Polymorphic Behavior of Framework Components
An object-oriented framework is often the key component in building products for a given application area. Given such a framework, an application developer only needs to provide definitions suited to the needs of his or her product for the hook methods. With appropriate initializations, the calls to the hook methods made by the template methods defined in the framework will then be dispatched t...
متن کاملTesting Polymorphic Relationships
As we move from developing procedure-oriented to object-oriented programs, the complexity traditionally found in functions and procedures is moving to the connections among components. Different faults occur when components are integrated to form higher level structures that aggregate the behavior and state of the components. Consequently, we need to place more effort on testing the connections...
متن کاملTesting Polymorphic Properties
This paper is concerned with testing properties of polymorphic functions. The problem is that testing can only be performed on specific monomorphic instances, whereas parametrically polymorphic functions are expected to work for any type. We present a schema for constructing a monomorphic instance for a polymorphic property, such that correctness of that single instance implies correctness for ...
متن کاملReasoning About Polymorphic Behavior
The standard approach to dealing with OO polymorphism is to require subclasses to be behavioral subtypes of the base class. This ensures that reasoning that has been done about any client code that operates on base class objects will continue to be valid if instances of the subclasses are used in place of the base class objects. But often we are interested in stronger properties of the client c...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of Object Technology
سال: 2002
ISSN: 1660-1769
DOI: 10.5381/jot.2002.1.3.a10